Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
41	A brief introduction to Higher Order Logic and the HOL proof assistant Monica Nesi Add to Reading List Source URL: www.di.univaq.it Language: English - Date: 2011-02-08 09:50:34 Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion
42	Steve Warner Curriculum Vitae Department of Mathematics Hofstra University Hempstead, NY 11549 Add to Reading List Source URL: satprepget800.com Language: English - Date: 2016-06-13 13:02:27 Mathematical logic Logic Computability theory Theory of computation Proof theory Hierarchy Lambda calculus Theoretical computer science Consistency Propositional calculus Calculus Arithmetical hierarchy
43	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
44	Duality for increasing convex functionals with countably many marginal constraints D. Bartl∗ P. Cheridito† Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2015-10-08 04:24:20 Mathematical analysis Analysis Measure theory Generalized functions Smooth functions Transportation theory Distribution Linear temporal logic
45	I N F S Y S R E S E A R C H R Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-04-14 17:36:30 Artificial intelligence Logic programming Academia Decision theory Game theory Non-cooperative games Situation calculus Nash equilibrium Zero-sum game Markov decision process Strategy Mathematical optimization
46	A New Approach to Quantum Logic K.Engesser D.M. Gabbay dov.gabbay @kcl.ac.uk D. Lehmann 2 Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2006-10-09 09:59:03 Quantum mechanics Physics Mathematics Academia Quantum logic Mathematical formulation of quantum mechanics Measurement in quantum mechanics John von Neumann Operator algebra David Hilbert Quantum entanglement Hilbert space
47	Grading Rubric – Project 1 – Final Report, Source Code, and In-Class Presentation Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English Algorithm Mathematical logic Theoretical computer science
48	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
49	Query Graphs with Cuts: Mathematical Foundations Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt, Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Graph theory Mathematics Discrete mathematics Diagrams Charles Sanders Peirce Philosophical logic Logic Existential graph Graph Conceptual graph Ear decomposition Entitative graph
50	Contents Formaliz. MathModelling Real World Using Stochastic Processes and Filtration By Peter Jaeger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: mizar.uwb.edu.pl Language: English - Date: 2016-08-07 18:59:36 Mathematical analysis Mathematics Probability theory Measure theory Mathematical logic Boolean algebra Sigma-algebra Borel set Probability space Pi system